First order logic is not enough to do most common sense reasoning. We need defaults, defeasible assumptions, the ability to contain our reasoning, etc. In this article we enumerate some of the helpful methods and formalisms that should be in any logical AI person's arsenal.