“Deze algoritme bleke oonvoldoende um groete redeneerprobleme op te losse, omtot ze un ‘combinatorische explosie’ metmaakde: ze woorte exponentieel langzaamer naormate de probleme groeter woorte.”