Whoever claims that he is not happy could be happy with the happiness of others, if envy did not take away that last resource.