@skells We told him that proof by contradiction is still allowed because it was in the past, before the 1800s, when logic started to mix with mathematics. And that they are in fact separate but related subjects.

Him and one other person had an autistic fit over that I guess.

FML