Anja comments on Universal agents and utility functions

[Anja]

I am quite sure that pareto optimality is untouched by the proposed changes, but I haven’t written down a proof yet.