Clarification in Proof Technique D (Voornaam "Marc" Achternaam)
Sage ANC, scalr, and nearby, corrected (Arnold Lebow)