Old Cincinnati Public Library, demolished  1955. Now an office building…