A Cold Logic