inner envelope subgroup of envelope, 2 assertions