Title: A four-flagged lemma
Subjects: Symbolic and mathematical Logic