Add envelop.m