Puzzles solved by aserty