Puzzles solved by Laudan.v2