ステートマシン図の「選択（Choice）」疑似状態（ひし形）と「ジャンクション（Junction）」疑似状態（黒丸）の違いについて、正しい記述はどれか。

Junctionは複合遷移の一部として連鎖し、遷移開始時に全パスのガードが判定される（静的）。Choiceはそこに到達した瞬間にガードを再評価して行き先を決める（動的）。