Um das Tor öffnen zu können, musste der Riemen entknotet werden, damit man anschließend den mit Kerben oder Höckern versehenen Riegel durch den lakonischen Schlüssel zurückschieben konnte.
Beispielsweise stammt von ihm ein Algorithmus zur Entscheidung darüber, ob ein Knoten in einer geschlossenen 3-Mannigfaltigkeit „echt“ ist oder entknotet werden kann (mit seiner Theorie der Normalflächen).