Okay. Thank you.
Was it ever brought to your attention about...? Again, we got to $34 billion, which is a jaw-dropping number. The private sector proponent walked away at $7 billion to $10 billion. Was there ever an analysis done to compare if the government building it could be done cheaper than the private sector could have built it for?