Coming up with one would have been a reasonable outcome. Using Tesla's would also have been reasonable. They managed to sort out who to give EUV tech. But in any case the space of disagreement here isn't large enough to be worth arguing.