proved a compatibility lemma