“formalizing the complex geometry of reality”