Reasoning in an absurd world: difficulties with proof by contradiction