3 ms·

I agree - my point was that the bet and the point of my post were orthogonal. It was not intended to have any kind of consequence on our bet.