  It is not completely clear how Aristotle understands the second formulation. At the end of Metaphysics IV 3, Aristotle gives a bad argument that the doxastic version rests on the ontological version, confusing belief that not p with not having the belief that p.