 There are two other formal features that this relation \(R\) should possess. It should be transitive—that is, if \(z\) has already become with respect to \(y\) and \(y\) has already become with respect to \(x\), then it seems reasonable to require that \(z\) has already become with respect to \(x\). It should also be reflexive—that is, is seems reasonable to require that \(x\) has become with respect to \(x\) itself. (We can indicate these conditions briefly as (1) \(Rzy\) and \(Rxz\) entail \(Rxy\), for all \(x, y, z\) and (2) \(Rxx\), for all \(x\).)