"On this account, a good life is a life in which the propositions {P1, P2, P3 . . ." . . . . .