contradiction of the a ssumption