9.3 Selling a put option