WCO
proofs