updates to surgery theorem