Since guarantees that is uniquely realized, logically implies the unique realization sentence of, which is logically equivalent to the expanded postulate of and definitionally equivalent to the postulate of.