Your definitions are better than what I was imagining, but I think they might still have rather significant edge cases & loopholes in reality. To give some examples off the top of my head: What if (say) access ends up varying across jurisdictions? What if they keep the servers running, but start charging for them? What if the company wants to sell to someone in another jurisdiction? etc.