Perhaps he’s buying deep out of the money puts instead of actually shorting