I think you might have actually answered my question. If I understand you correctly, they can perhaps litigate a procurement matter under this bill. It's unlikely that they would be able to litigate a similar action under ISDS because the ISDS doesn't generally cover procurements. Is that correct?