Puzzle and Proof2026-01-020 PRE AI PPeter Hall * DOI:10.1080/00255572.2025.2583034OriginalOriginal request for helpShareSaveAbstract En