Getting Lumsdaine2 sorted out #1.