I would add '—in aggregate'. Leibniz (who came up with this 'best of all possible worlds' argument) conceded as much. Perfection in the whole may require imperfection, but those parts are in themselves still imperfect (the problem of evil isn't solved by denying its existence).