A calculus of the absurd