CalmCanary comments on Does the Utility Function Halt?