**Puzzle 78**

![Transitivity](http://aether.co.kr/images/monoidal_preorder_transitivity.svg)

**Puzzle 79**

![Transitivity](http://aether.co.kr/images/monoidal_preorder_monprelaw.svg)

Here are all 6 laws and picture showing the difference between preorder diagrams and wiring diagrams:

![Transitivity](http://aether.co.kr/images/monoidal_preorder_summary.svg)

Let me know if there are any mistakes or bad assumptions.