“We have realized that we made a gross error in our understanding of the significance of the Boulder High School name.â€