I heard Charles Hoskinson said your statement is not formally verifiable through rigorous science of functional programming, but he bought BILLION HUNDRED M DOLL COIN anyway.
Yes Charles is pumping our bags until they achieve liftoff to Pluto and beyond IF we can achieve more than 2 transactions per year on our sneakernet based blockchain made of actual wooden blocks.
Charles is always making frustrated video comments about false information, but take a look at his hands, always under the table. I bet he is pumping our bags full right there, and touching his prototype wooden blocks every now and then.
