Simulation / enumeration of probability puzzles