This specification makes official D. J. Bernstein's Variable Envelope Return Paths: VERP.