 One way to do this was suggested by Kripke himself. Rather than see the Kripke apparatus we reviewed briefly in  §4.1.1  as part of a non-classical logical approach, one can see it as an intermediate step towards building a classical interpretation of a self-applicative \(\Tr\).