contradictory proof