Jonathan wrote:

> Unless we're working in \\(\mathbb{Z}/10\mathbb{Z}\\), I think that should equal 11!

Since \\(\mathbb{Z}/10\mathbb{Z}\\) is only a monoidal preorder if we use the discrete preordering, I'd better fix that!

> Unless we're working in \\(\mathbb{Z}/10\mathbb{Z}\\), I think that should equal 11!

Since \\(\mathbb{Z}/10\mathbb{Z}\\) is only a monoidal preorder if we use the discrete preordering, I'd better fix that!