edit: I am not even more confident that cnvogel is correct instead of me. Check their comment, not this one.<p>I thought &quot;safe&quot; just meant it wouldn&#x27;t ever crash or read or write to memory it shouldn&#x27;t, and things like that, whereas correct means it meets some set of requirements exactly, and, because of this would probably also be safe.<p>Which, is kind of backwards from what cnvogel said, and I don&#x27;t have any reason for expecting myself to be more correct, so,<p>I would suggest that you treat their comment to be more likely to be correct than mine.<p>But if they are wrong this is what I think the difference is.