Which doesn’t give negotiators much room to work.
I think the default assumption is NACHO, not a chance Hormuz opens.