It's not just $1B, he can't back out of the full $40B deal or whatever it was except for a few very special corner cases, and only in those corner cases does he pay just $1B, as far as I understand.