lukeprog comments on Universal agents and utility functions