The progressive matching formula was to phase down as income increased.
Progressive matching was determined to be the most effective formula. 
mnli hypothesis: Progressive matching was determined to be the most effective formula.  premise: The progressive matching formula was to phase down as income increased.