Time-Stratified Truth Predicate


References may only be to documents which already exist. Happens automatically with secure-hash -- refer to digital artifacts (single representations of documents) using md5. Forming a loop this way requires breaking the hash.

Intuitive, but perhaps doesn't work with quantifiers? Alice says: everything alice says is false. But that is clearly false; the truth is that some things she says [like that statement] are false.