With a $1B carve-out dedicated to mining , the U.S. gov would mine about $1.5B of $BTC annually (at today’s price) in addition to earning tx fees. This would likely bring in more revenue than the infra bill would bring in taxes, while increasing NatSec.