Puzzles solved by Ajt