#assumption #negate #derive contradiction #proof technique #logical reasoning