Are the puzzles hard for some reason? They're supposed to be easy once you get this idea:

> So, the process of wanting less and getting more resources can always be broken into two steps:

> * wanting less but keeping the resources the same, and then

> * getting more resources but wanting the same thing.

Maybe translating these words into facts about the preorder \$$X^{\text{op}} \times Y\$$ is hard? Or maybe the puzzles are so easy that everyone is waiting for someone else to do them?