Many knot theorists investigate whether a given knot has Property P, since that condition prevents any nontrivial Dehn surgery in the 3-sphere from yielding a simply connected manifold.