Or... if GOV has sold the warrant shares at the time of an award ruling and all commons get is $$$, whatever the GOV derived from the transaction would absolutely confirm the fair market value of the illegal exaction.
$75 B in proceeds? That would be $68.18 per common share. And you keep your shares worth 20.1% of the enterprise value.