Dan Schmidt wrote:

> Let's see if I'm thinking along the same lines as John...

You're definitely on the right track, but your proposed answer to Puzzle 8 isn't really a law obeyed by the relation \\(\le\\). You're writing a law that involves some _other_ concept \\(\cong\\) which we're supposed to have in mind already. I want a law that you can write down using just the relation \\(\le\\), sort of like reflexivity and transitivity and those other laws.