Documentation for PEP and Disjunctive Schnorr