>If populations A and B are the same nonzero size and every member of population A has better welfare than every member of population B, then A should be superior to B.
Otherwise it is excessively strong, and for example claims that 1 extremely happy person is better than a gazillion quite happy people.
(And pedantically, there are all sorts of weirdness happening at population 0)
You have made a mistake.
principle 1 should read
>If populations A and B are the same nonzero size and every member of population A has better welfare than every member of population B, then A should be superior to B.
Otherwise it is excessively strong, and for example claims that 1 extremely happy person is better than a gazillion quite happy people.
(And pedantically, there are all sorts of weirdness happening at population 0)
Thank you for pointing this out!