General self-referential lemma