  In the presence of the Positive Introspection Axiom, one can limit  the scope of the Axiom Internalization Rule to internalizing axioms  which are not of the form \(e : A\). This is how it was  done in \(\mathsf{LP}\): Axiom  Internalization can then be emulated by using  !!\(e :(! e :( e : A))\) instead of  \(e_{3} :( e_{2} :( e_{1} : A))\), etc. The notion of Constant Specification can also be simplified  accordingly. Such modifications are minor and they do not affect the  main theorems and applications of Justification Logic.