It follows that the sun is not cooler than Sirius unless in some sense the sun is cool; but that conclusion seems correct, although I do not know whether to deny that the sun is cooler than Sirius or to agree that in some sense the sun is cool.