**Puzzle 155** Well let's be a bit silly and take all the germans to Heinrich, then naturality forces us to take all the italians to Martina.

**Puzzle 156** Because there's no multicolumn table, aka function, aka morphism in Set, any function at all from {Ilsa, Klaus, Jorg, Sabine} to {Ilsa, Klaus, Jorg, Sabine, Heinrich} defines a natural transformation.

And now it all clicks for me. Huh.