Anabelle Sumera-Decoret Proofs