progress on plcomp lemma