<math> <declare type="boolean"><ci>p</ci></declare> <apply><forall/> <bvar><ci>p</ci></bvar> <apply><and/><ci>p</ci><false/></apply> <false/> </apply> </math>