>15で問題なのは矛盾が生じてないからでは