PolyProof 2002 PDS