I don't have a point really, I'm just saying this was a publicized ballot measure at the time and not carried out against the voters' will.

And as I said in above comment, the $9.95 billion was for the initial bond issuance. The estimate on the ballot was $40 billion versus the current estimate of between $98.5 billion and $118 billion.