So Wright is Hal Finney? Or, who else mined bitcoins seven or eight hours after it went live?