Add 矛盾則