Envelope Semantics and Structure

🚧 forthcoming...