  And that corresponds exactly to our intuitive truth condition   Poss  above. Thus, spelling out the negation  ‘¬□∀x(Px →  Mx)’ of our false sentence   (6)  above in accordance with definition (10) (and the standard definition of conjunction ∧), we have: 