  A conjecture of Boone and Higman from the 1970's asserts that a finitely
generated group $G$ has solvable word problem if and only if $G$ can be
embedded into a finitely presented simple group. We comment on the history of
this conjecture and survey recent results that establish the conjecture for
many large classes of interesting groups.
