分岐するリーディングパス

1. MacOS向けインストール手順
2. Windows向けインストール手順

が分岐の具体例。

記述単位〈モジュール〉の入り口条件として、

1. 事実・自体が成立するか
2. 知っているか、分かっているか
3. 何かを実行したか、その結果、ある状態になっているか
4. 練習問題を解いたか

などがある。