a vertical envelopment