formula-based appreciation plans are not SDAs where the formula closely tracks the FMV of the employer’s shares over the plan’s duration
