It would be very expensive to short given the likely odds, so a massive premium must be paid. Probably worked out - lots of bets from super funds etc