Harsayni's aggregation theorem is both the best argument for utilitarianism and my off ramp to it. I just came to see it was incomplete. Just feels like we're missing one theorem. One concept. I'll wait until it's finished