Vaniver comments on Research Agenda v0.9: Synthesising a human’s preferences into a utility function