Puzzles solved by CITL