Four same-model endpoint obligations

The supplied summary of En07-B reports an endpoint theorem with four same-model obligations, but does not provide their complete verbatim clauses CheungEn07B (:endpoint). We therefore do not manufacture those clauses or claim to instantiate that theorem. The following four obligations are an independently defined operational refinement for this manuscript.