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