With all our quantifiers in place, there is one quick “automatic” inference I want to show you that you can do with them. By “automatic,” I mean you can make the inference even when you just the rule and nothing else. You aren’t combining the statement with some other statement to make an inference. Take