Kongressen kan ikke omformulere en betingelse om finansiering som en definisjon av sitt program i alle tilfeller, for at ikke første endring skal reduseres til en enkel semantisk øvelse.
Kongressen trenger ikke å omformulere en betingelse for finansiering.