また、 page9 は命題論理の範囲での遷移しか扱えませんので、近いうちに“量的遷移”として述語論理の範囲でも扱えるような遷移関係を規定します。

なんにせよ、 page9 の理解は前提になると思いますが。