Korrektheit und Endlichkeit, langsameuklid