$BTTC 135から追加しなかったのが残念ですが、とにかくこれを理解するのは不可能です。