Jedním z důvodů, proč se velmi těším na nové architektury, je, že problémy v algebraické topologii zásadně vyžadují intuice, které jdou daleko za jednoduché symbolické manipulace. Často je mnohem snazší představit vizuální náčrt argumentu založeného na izotopii/homotopii, než navrhnout přesné vzorce a učinit ho zcela formálním. Doufám, že kombinace světových modelů, symbolické manipulace a reprezentací dynamiky objektů je cestou k zcela novým architekturám. Potřebujeme je, pokud chceme řešit těžké matematické problémy, které přesahují pouhý text. Na obrázku (založeném na arXiv: 2107.01664) je vidět, jak snadné je intuitivně rozpoznat paradox pout, ale jak těžké by bylo jej formálně napsat pomocí vzorců.