Back to Cold Logic