I know they said the shares would be returned to the treasury, but not sure they ever committed to reducing the share structure.