And then they'd have sold at the higher value, because the sale price is almost certainly higher than whatever the 409a price was.