The no-risk game is over. I originally had a large short position in the afternoon, but I ran away early. What a pity.