` :: I would consider hard survey data as to what names are being used by the general population, but there is a big difference between the intent of a branding campaign and its acceptance by the general public. I think there is some merit to keeping the article consistent, so we added NYS to each infobox, and used the full official name in the lead sentence.  When I was there everybody called it ``Ives High`` because of the lockers lining the hallways, so we had better stick to the official name rather than what the school is called in popular culture.   `