Truth, for Badiou, is a specifically philosophical category. While philosophy's several conditions are, on their own terms, "truth procedures" (i.e., they produce truths as they are pursued), it is only philosophy that can speak of the several truth procedures "as" truth procedures. (The lover, for instance, does not think of her love as a question of truth, but simply and rightly as a question of love. Only the philosopher sees in the true lover's love the unfolding of a truth.) Badiou has a very rigorous notion of truth, one that is strongly against the grain of much of contemporary European thought. Badiou at once embraces the traditional modernist notion that truths are genuinely invariant (always and everywhere the case, eternal and unchanging) and the incisively postmodernist notion that truths are constructed through processes. Badiou's theory of truth, exposited throughout his work, accomplishes this strange mixture by uncoupling invariance from self-evidence (such that invariance does not imply self-evidence), as well as by uncoupling constructedness from relativity (such that constructedness does not lead to relativism).