Finite semigroups embed in finitely presented congruence-free monoids

We prove that every finite semigroup embeds in a finitely presented congruence-free monoid, and pose some questions around the Boone–Higman Conjecture.