Will_Sawin comments on The Strong Occam’s Razor

[Will_Sawin]

Can a theory be proved logically equivalent to a theory with more, or fewer, morally valuable agents?