The Princeton notes on the Hauptvermutung