Pinello-Benavides Proofs

November 8th, 2025