if and only if a piece of eval'd code has the ability to produce harmful (let alone observable) side effects, which in a functional language will in turn largely be a consequence of what is imported into the code's scope.
Granted, I fully cede that your point is largely right. Just feels like you are a bit too strong with the "if and only if" on it.