Puzzles solved by alc