Puzzles solved by FIAT