Puzzles solved by ALFONS