 In 1985, Yablo succeeded in constructing a semantic paradox that does not involve self-reference in the strict sense. Instead, it consists of an infinite chain of sentences, each sentence expressing the untruth of all the subsequent ones. More precisely, for each natural number \(i\) we define \(S_i\) to be the sentence “for all \(j\gt i, S_j\) is not true”. We can then derive a contradiction as follows: