Moving to Geach logics as introduced in Section 2.8, a semantic model for \(\textsf{J4.2}\) can also be specified. Suppose \(G = \langle \mathcal{G}, \mathcal{R}, \mathcal{E}, \mathcal{V}\rangle\) is an \({\textsf{LP}}\) model. We add the following requirements. First, the frame must be convergent, as with \(\textsf{S4.2}\). Second, as with \(?\), \(\mathcal{E}\) must be a strong evidence function. And third, \(\mathcal{E}(f(t,u), \lnot t{:}X)\cup \mathcal{E}(g(t,u), \lnot u{:}\lnot X) = \mathcal{G}\). Completeness and soundness results follow in the usual way.