Thank you.
Not to beat this to death, because I don't blame you for having to outsource so much of this work, but I want to speak to the broader policy here. I've done a bit of math, and if your average civil servant is, say, making $15,000 a year...or $50,000 a year—