プロトコルステートマシンにおいて、遷移後に状態が維持されることを保証するための条件記述はどれか。

「バウンド要素（Bound Element）」とは、テンプレートバインディングの結果として生成された要素を指すが、その表記上の特徴はどれか。