I really appreciate your comment. I am learning as we speak. I was essentially saying !A !-> !B - even if we have a strongly ordered system, there will still b

I really appreciate your comment. I am learning as we speak. I was essentially saying !A !-> !B - even if we have a strongly ordered system, there will still be inconsistencies/races/problems. And I can see why it's a bad/weird argument. Thank you for pointing it out. Really appreciate it! EDIT: I would have rephrased it this way - A -> B is right - But !A -> B also holds. Hence what we talked about here is relevant/useful regardless. And it's not about A. Would that be better?