ARENA-ALLISON proofs

February 9th, 2024