In the last episode we introduced the fifth and final principal actor of graphical linear algebra, the antipode. This episode's main task is showing that diagrams built up of the five generators co...