der comments on AGI will have learnt utility functions