He achieved this by giving a totally new definition of combinatory equivalence based on three elementary moves, rather than on the notion of subdivision which had previously been used.
Siya makakamtan ito sa pamamagitan ng pagbibigay ng isang ganap na bagong kahulugan ng combinatory pagkapareho batay sa tatlong elementarya naglilipat, sa halip na sa kuru-kuro ng subdivision na kung saan nagkaroon na dati ay ginagamit.