Puzzles solved by AlfA