added PEP and weak congruence lemmata