Puzzles solved by PROCAM