  This paper gives necessary and sufficient conditions on a compact, connected,
orientable 3-manifold M for it to contain a knot K such that M-K is irreducible
and pi_1(M) embeds in pi_1(M-K). This result provides counterexamples to a
conjecture of Lopes and Morales and characterizes those orientable 3-manifolds
for which it is true.
