Cleaner conditional on early exercise

I think this is nicer