Puzzles solved by Ian Castro