ARENA-Jennifer proofs

January 22nd, 2024