Nice! Here's an extra puzzle:

**Puzzle.** Given two surjections \$$f: A \to P\$$, \$$g: A \to Q\$$, when do they determine the same partition of \$$A\$$?