For, to consider the habits to which they owe their names, envy is pain felt at deserved good fortune, while the feeling of the man who rejoices at misfortunes has itself no name, but such a man shows his nature rejoicing over undeserved ill fortune.