The proof that PECS works