The section 23.4 Invariants says: such members should not be called from constructors I assume should instead read: such members should not be called from invariants
This wording seems no longer be present in the specification.
*seems to