>>758458
対策以前に普通にJの方が強いように思う。
ACL2だし。