無矛盾かどうか分からないw