Premise: The progressive matching formula was to phase down as income increased.
Hypothesis: The progressive matching would be continued after income increased. 
Label: contradiction