Hal Finney is Satoshi Nakomoto ($HAL)