Time Loop Logic
en.wikipedia.org