GWEN: Proofs