Matthew Doty - 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.

What are they really?