OPINION: The fault in renaming Polytech Institute, founded in 1854