That is essentially how mine have worked in the past. We don't know what each individual's strike price may be, but depending on when they were hired, and how many tiers of option plan there have been, some of them may have stike prices above current market value.