hp envy subgroup of envy, 3 assertions