line formalism Note A5 (266801)