Formal agreements matter unless the counter-party is the US who will gleefully alter the deal the second it becomes inconvenient.