Did you know that logicians using classical rules of inference can deduce any arbitrary statement from a contradiction ?