They could be... if we replace dollars with new "patriot dollars". The rate of exchange will start at 10 USD for 1 patriot $1 - yes, the patriot dollar receives the symbol that used to mean USD. Gotta pwn those libs tho! 💵