Yes. It turns out that if you try to get really specific about what safe or_effective_ means, you run smack into the full complexity of the universe.

Stuff that seems simple ("define safe") is surprisingly not simple.