シーケンス図の「assert」フラグメントの使用目的はどれか。

assert(表明)フラグメントは、その内部に記述された相互作用だけが正当な振る舞いであり、それ以外は無効(Invalid)であることを強制するために用いる。