We touched on this earlier, and I apologize that my mental math was very bad. Roughly, of the $9.5 billion or so on PPE, about $4.3 billion, or 40%, is domestic. I believe it was Mr. Green who asked that question. I think I cautioned him about the inaccuracy of my $600-million estimate, so my caution was appropriate.
The disclosures around those contracts do include HST in the dollar amount, which I believe was another question Mr. Green asked.