9.4 Rolling a put option