Does that mean that holders can sell on Wednesday morning and still have full option entitlement? Does anyone know?