ABSTRACT
Here are two more obvious rules, so obvious that normally we are not aware of using them. But they are still rules. We often need them in a formal proof. They spell out what we unknowingly take for granted: the kind of detail you must specify, for example, if you want to argue with a computer. And once we have spelled them out we can see that they are valid, which is not always true of unconscious reasoning.
