>>962
違うだろ。難しい部分をうまく隠してるからだろ。
mltermの問題なんかを見てもわかるように、通向けの詰めは不十分だがな。