Text: If the general funds would have been used to redeem federal debt held by the public or acquire nonfederal financial assets, national saving initially would be unchanged because personal saving would increase by the amount that government saving decreases.
Entailment: General funds could be used to redeem federal debt held by the public.
Contradiction: National savings would initially change as both personal and government savings would increase.