Puzzle 31

We use the duality \$$x \sim_p y \leftrightarrow \left (x_p,y_p \right ) = S_x\$$ and use this to translate between partitions and equivalence relations.