He’s smart enough that he’ll either figure it out over the next few months or get sidetracked with Ethereum. If the latter happens it might be another 4 years before he becomes a bitcoiner.