Keeping track of the same thing in many places is annoying and unnecessary.