Globular探り 11：モースレベル、シーン、トランジション、ステップ

モースレベルがシーン（スチル、フレーム）の順序番号を与え、トランジションが隣り合うシーンの移動（move）となる。よって、シーンは証明過程の各段階のスナップショットであり、トランジションは証明ステップとなる。

基本トランジションは基本推論、アニメーションは推論を積み重ねた証明となる。定理のステートメントは、最初のシーンとラストシーンだけの要約だと言える。中間過程が全部落ちているのがステートメントだ。