All tagged cool is a construct