Contradiction proof/Objection/Exercise