Anweisungen für den Gutachter. Dieses Dokument ist eine Karte, kein Beweis. Es präsentiert die globale Strategie des T-DFT-Programms, den logischen Abhängigkeitsgraph der 13 Begleitdokumente und den Standort innerhalb dieser Dokumente jedes Schrittes, der für das JaeWitten-Problem 1 erforderlich ist. Alle detaillierten Beweise sind in den zitierten Dokumenten zu finden.
Luis Rodrigues (Sun,) untersuchte diese Frage.