Nach Überwinden aller Implementierungsdetails erhält man:

• Alle abhängigen Elemente verhalten sich analytisch!
• Die Lösung ist eindeutig!
• Das Verhalten ist global konsistent!
• Keine springenden Elemente!
• Theoreme sind ein für allemal wahr!
• Randomisiertes Beweisen funktioniert!
• Automatisch navigierende Ortskurven!
• Generische Methode für "computational kinematics"!