"Names cause errors" doesn't automatically imply "removing names makes the program easier to generate or reason about"