Cold Logic