Remark. Architecture-independent model interfaces [ftip-00KE]
Remark. Architecture-independent model interfaces [ftip-00KE]
A result stated solely in terms of a model/interface map applies to every architecture realizing that map and satisfying its hypotheses. An architecture-specific conclusion can require further assumptions, as in Remark [ftip-00JK].