Envy is a type of emotion.