C Vafa 1996 12D F-theory; modern elliptic-Calabi-Yau compactifications + GUT model-building landscape.