A calculus of the absurd

6.2 Graph theory

TODO