Puzzles solved by mma