表明(DDD)

事後条件を保証すること

不変条件もこれの一種（操作後のオブジェクト状態に関する表明）

できればコーディングすることで表現する

それがダメならユニットテストで