Hyperbolic knots and 4–dimensional surgery

In [5], Hegenbarth and Repovs ̌ used controlled surgery exact sequence of [6] to show that the surgery obstruction theory works for certain 4-manifolds without assuming that the fundamental groups are good. Among their examples are 4-manifolds whose fundamental groups are knot groups. Let K be a knot in S3, an