Reasoning about the good life and justice