Puzzles solved by DBJ