@eblu this doesn't work, any measure of fun only makes sense within a single person, if at all.

Trying to compare fun between two people leads to glitches eg. Johan who has a humongous amount of fun when other people suffer, so that his fun more than offsets their pain.

Also, if you're optimizing the average and not the sum, that means killing people who have below-average fun is good. And the best a person having below-average fun can do is die.

Is this fun?