#combinatorial puzzles #enumeration problems #mathematical logic #proofs #discrete challenges