Puzzles solved by CALEF