The idea, here, is that a truth's invariance makes it genuinely indiscernible: because a truth is everywhere and always the case, it passes unnoticed unless there is a rupture in the laws of being and appearance, during which the truth in question becomes, but only for a passing moment, discernible. Such a rupture is what Badiou calls an event, according to a theory originally worked out in "Being and Event" and fleshed out in important ways in "Logics of Worlds". The individual who chances to witness such an event, if he is faithful to what he has glimpsed, can then introduce the truth by naming it into worldly situations. For Badiou, it is by positioning oneself to the truth of an event that a human animal becomes a subject; subjectivity is not an inherent human trait. According to a process or procedure that subsequently unfolds only if those who subject themselves to the glimpsed truth continue to be faithful in the work of announcing the truth in question, genuine knowledge is produced (knowledge often appears in Badiou's work under the title of the "veridical"). While such knowledge is produced in the process of being faithful to a truth event, for Badiou, knowledge, in the figure of the encyclopedia, always remains fragile, subject to what may yet be produced as faithful subjects of the event produce further knowledge. According to Badiou, truth procedures proceed to infinity, such that faith (fidelity) outstrips knowledge. (Badiou, following both Lacan and Heidegger, distances truth from knowledge.) The dominating ideology of the day, which Badiou terms "democratic materialism," denies the existence of truth and only recognizes "bodies" and "languages." Badiou proposes a turn towards the "materialist dialectic," which recognizes that there are only bodies and languages, "except" there are also truths.