Puzzles solved by Jentzen