シーケンス図の「assert」フラグメントが意味するものはどれか。

assertは、そこに記述された内容こそが、その場所で起こりうる唯一の正しい振る舞いであることを示す。