Definition of "envelops"