ファールじゃないよみたいなことやんなよ
ファールって言われたらファールなんだよ
だからACL2でやらかすんだろうがよ