Take the following as truth: The progressive matching formula was to phase down as income increased.
Then the following statement: "As income increased, the formula was to be phased out." is true, false, or inconclusive?