outer envelope subgroup of envelope, 4 assertions