Puzzles solved by MIRA