He was able to rescue from his faulty proof the fact that there was a cancellative semigroup with insoluble word problem and he published this result in 1950. Boone used the ideas from this paper by Turing to prove the existence of a group with insoluble word problem in 1957.
Siya ay able sa paghanga mula sa kanyang may mga kapintasan patunay ang katotohanan na nagkaroon ng isang cancellative semigroup hindi matutunaw salita na may problema at siya nai-publish na ito resulta sa 1950. Boone ginamit ang mga ideya mula sa papel na ito sa pamamagitan ng Turing upang patunayan ang pagkakaroon ng isang grupo ng salita na hindi malulutas gamit ang problema sa 1957.