Pension funds don't buy the most shorted equity on the market, typically. He's right that the people most affected were in effect gamblers. They gambled on the 5k number happening or not and got creamed in aftermath.