solipsist comments on Does the Utility Function Halt?