envelopments

not defined yet