 Accordingly, theory M could be formulated in a pure first-order language by assuming (P.1) and (P.2) and replacing (P.3) with the following variant of the Leibniz axiom schema for identity (where φ is any formula in the language):