Every Geach logic has a justification counterpart. Consider the original Geach logic, with axiom scheme \(\textsf{G}^{1,1,1,1}\), \({\lozenge}{\square}X{\rightarrow}{\square}{\lozenge}X\) added to a system for \(\textsf{S4}\)—the system \(\textsf{S4.2}\) mentioned above. We build a justification counterpart for \(\textsf{S4.2}\) axiomatically by starting with \({\textsf{LP}}\). Then we add two function symbols, \(f\) and \(g\), each two-place, and adopt the following axiom scheme, calling the resulting justification logic \(\textsf{J4.2}\). 