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