**Links to**: [[Esto es un verso]], [[◉ G E I S T ◉/◉ G E I S T ◉/Memory]], [[Self-reference]], [[Generalization]], [[Abstraction]]. >_[[THIS LIE IS A SENTENCE]]_, Z. Fork, 2023. First order, no paradox (except we are binding a lie, somehow): ∃ x ( L i e ( x ) ∧ S e n t e n c e ( x ) ) (I.e., there exists an ( x ) such that ( x ) is a lie and ( x ) is a sentence). Predicate, paradox: S ( This lie ) ↔ ¬ S ( This lie ) (I.e., this lie is a sentence if and only if this lie is not a sentence, **because it is a lie = false**). But the self-referentiality of pointing at falsity before pointing at the sentence, the thing supposed to be at odds with itself, is what conduces to something more complex than in the case of “this sentence is a lie”. This is where episodic and semantic memory get real, mixed up.