Satoshi, walking away from bitcoin, after writing the supply equation: