envelopment

not defined yet