Woah now. Seems someone skipped a few lectures in formal mathematics and logic. Humans are evil Definitely not a valid axiom. We must disregard the following

Woah now. Seems someone skipped a few lectures in formal mathematics and logic. Humans are evil Definitely not a valid axiom. We must disregard the following lemmas and theorems. The CRU is full of humans. Strange and imprecise wording to be sure, but I think this one is valid. I suggest you start again with this axiom.