13.3 Rolling a put option