A calculus of the absurd

17.3 Transformations

17.3.1 Invariance