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 kan ikke omformulere en betingelse om finansiering som en definisjon av sitt program i alle tilfeller med mindre første endring er redusert
den første endringen trenger ikke å endres for å tillate kongressen å omformulere en betingelse