. . . "Executive order of Jimmy Carter" .