<math> <declare type="boolean"><ci>p</ci></declare> <apply><forall/> <bvar><ci>p</ci></bvar> <apply><eq/> <apply><or/><ci>p</ci><true/></apply> <true/> </apply> </apply> </math>