[math-fun] looking for state-of-knowledge logic puzzles