Cryptocurrency: "Auditablity [of the Coinbase]" Is Moot Arg Against Coin Privacy, Formal Verification, Risk, ZK, BTC Is Not Fungible