  Obviously, different Justification Logic sentences may have the same  forgetful projection, hence \(S^{o}\) loses  certain information that was contained in \(S\). However, it is  easily observed that the forgetful projection always maps valid  formulas of Justification Logic (e.g., axioms of  \(\mathsf{J})\)  to valid formulas of a corresponding Epistemic Logic \((\mathsf{K}\)  in this case). The converse also holds: any valid formula of  Epistemic Logic is the forgetful projection of some valid formula of  Justification Logic. This follows from the Correspondence Theorem 3.