Your commodity pricing example gives me a hunch, can I prove Puzzle 75 by pullback? That is to say, pullback the \\( \le_Y \\) along \\( f \\) to induce a relationship \\( \le_X \\) on the set \\( X \\).