なお何が矛盾かは説明できない模様