hold_my_fish comments on How to place a bet on the end of the world