In fact Boone had constructed for his doctoral thesis an example of a finitely presented group with no way to decide if a given element lies in the subsemigroup generated a fixed finite set. Boone's doctoral supervisor at Princeton was Church and his thesis was entitled Several Simple, Unsolvable Problems of Group Theory Related to the Word Problem.
Sa katunayan Boone ay itinayo para sa kanyang doktor ang isang halimbawa ng isang finitely ipinapahayag ng grupo na walang paraan upang magpasiya kung ang isang sangkap na ibinigay sa nagdurugo ang subsemigroup binuo ng isang takdang hangganan set. Boone's ng doktor superbisor sa Princeton ay Iglesia at ang kanyang mga sanaysay ay may karapatan Maraming Simple, walang lutas Problema ng Grupo ng teorya Related sa Word Problem.