Add POLA / POLS lemma's