contradictory formula system