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.