⊥除去
矛盾除去