Puzzles solved by IRMA