Title: To what extent did stock index futures contribute to the October 1987 stock market crash?