contradictory-rules