That said, I agree we should be more explicit about defining this. I think we should have an EIP that lays out the different possible scenarios we'd imagine and their consequences. While we can't do so to a perfect level of accuracy, that's basically how ~all of law is written.