Slatex, clearer code, third case fix in diagram and code, prose tweaks.
Why do I feel like a rewrite is coming?