red envelope subgroup of envelope, 1 assertions