Definition 3:*

*#UPMCrecycles*is a*model*of Justice, J = <D, I>, where D = every well-formed formula
Referenced by the three following well-formed

*root formulae*, as well as every well-formed formula Referenced by any member of D, and I is the*interpretation function*which is given by the members of D:
Proof: By inspection of Definitions 1 and 3, we can see that each of the

*root formulae*of J are also*root formulae*of T*.*Since our property R*is transitive, it follows that each member of J is also a member of T, or J ⊆ T.**Q.E.D.*