My $10K bet with Avi Bitterman: the whole story