[expr.prim.id.unqual]/14 "sequenced before" with "postcondition assertion"

[BlowingWind314]

[expr.prim.id.unqual]/14 says

If an id-expression E names a result binding in a postcondition assertion and the implementation introduces any temporary objects to hold the result object as specified in [class.temporary], and the postcondition assertion is sequenced before the initialization of the result object ([expr.call]), E refers to the most recently initialized such temporary object.

It should be "evaluation of the postcondition assertion", like in [expr.prim.id.unqual] bullet (13.1)

if the contract assertion is a precondition assertion and the evaluation of the precondition assertion is sequenced before the initialization of the parameter object, E refers to the most recently initialized such temporary object, and ...