Puzzles solved by PMA