Documented Envelope.h