9.1 Introduction: when to buy and sell put options?