“Cool” is a word with many meanings. Its old meaning is used