 If these conditions are satisfied we have the following contradiction: Since \(w\) is trivially a subset of \(w\) and since \(Q(w)\) holds by condition 1, we have both \(\delta(w) \not\in w\) and \(\delta(w) \in w\), by 2a and 2b, respectively. Thus any triple \((P,Q,\delta)\) satisfying the Inclosure Schema will produce a paradox. Priest shows how most of the well-known paradoxes of self-reference fit into the schema. Below we will consider only a few of these paradoxes, starting with Russell’s paradox. In this case we define the triple \((P,Q,\delta)\) as follows: