[busyant]

> where bad_y - bad_z < ε".

LOL. That is often the hard part. "We cured your toe fungus. Sorry about the heart attack."