few more examples of MLN formulae (existential, equivalence)