Cold Reasoning