Tietojenkäsittelytieteilijät tietävät hyvin, että rekursio on tehokkaampi kuin iterointi.  Hewittin ja Patersonin saavutus oli lauseen onnistunut formalisointi ja todistaminen.  He onnistuivat välttämään ongelman, joka liittyy kömpelöiden, keinotekoisten ja tehottomien aritmeettisten konstruktioiden käyttämiseen ohjausrakenteen simuloimiseksi. 50.131.244.2