@pschwede How so? I cant think of any better way to justify it than to maximize overall happiness. I mean what other measure of any value is there? I cant think of one, but of course im open to hear what you think would be a better measure.