solipsist comments on Computable Universal Prior