Original authored paper, proofs, programs and audit materials: copyright 2026 Alec Kriebel. Licensed under Creative Commons Attribution 4.0 International (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/legalcode . Attribution, a link to the license and indication of changes are required. Third-party works retain their own rights and are not relicensed. Third-party article bodies, extracts, images and private caches are excluded.
