Puzzles solved by michelcas