# A calculus of the absurd

##### 5.2.2 From $$k$$ to $$k+1$$

Sometimes it can be more practical to work from the case $$n=k$$ and apply operations to that to form the case $$n=k+1$$, rather than trying to expose $$n=k$$ within $$n=k+1$$ (i.e. write the case $$n=k+1$$ in terms of $$n=k$$).

TODO: example