9.2 Buying a put option