*treasury electronic money* issued by the Fed and that everyone can hold sure sounds like some type of FedCoin, a CBDC.