   The first is the universal closure of a standard axiom of propositional calculus going back to Frege. Recalling that F(alse) can be defined as \(\forall s\ulcorner s\urcorner\) and negation as \(p \rightarrow\) F, the second is the universal closure of