JoshuaZ comments on Does the Utility Function Halt?