Puzzles solved by cata