There are ways to make money when stocks go up, of course, but there are also ways to make money when stocks go down. We don’t know the details, but the bottom line is that he bet one way, and the market went the other.