 Note that existence monism should not be confused with the formula: \(\exists x\forall y(x=y)\). That is the logician’s formula for expressing the claim that exactly one entity exists. The existence monist is making a much weaker (and slightly more plausible) claim. She can allow that many abstract entities exist, she can allow that many spatiotemporal points exist (assuming that she does not follow the supersubstantivalist in identifying objects with regions), and she can allow that many property tokens exist (assuming she does not follow the bundle theorist in identifying objects with compresent property tokens), as long as she maintains that only one concrete object token  exists.[11]