Added section on envelope implementation