The progressive matching formula was to phase down as income increased.
As income increased, the formula was to be phased out.