A synthetic Gannon-Lee incompleteness theorem - Mathias Braun; Carlo Rotolo (2026)