Now we are going to take a look at what sort of inferences are possible with existential quantifiers (“some” statements). Unlike conditionals, which required a grand tour to get them figured out, working with some statements is really pretty straightforward. There is no contrapositive, no weird existential version of modus ponens, none of that kind