どうやらandとnotの仕様を勘違いしていたらしい．しかし，andとnotが先読みとして動作するなら，先読みじゃないandとnotはどう実装するのか？ちなみに，先読み専用のpreを定義済みなので，pre(A),pre(not(A))とすれば，本来のand(A),not(A)の挙動はエミュで…