This sounds reasonable, however that subsidy/gain is already paid for with the employee's labor, which cannot be recovered. Paying taxes on what is essentially a guaranteed gain sounds reasonable, but when it is a gain earned by putting in labor over several years, I'm not sure this is the best solution.