@John Baez wrote:
> in Puzzle 87 I was implicitly making **Bool** into a symmetric monoidal poset as in Puzzle 86. With this choice, it's not true that **Bool**-enriched categoreis are symmetric monoidal preorders.
You are right.
I believe the structure in **Puzzle 86** is the only *interesting* underlying monoid.