How Logic Works: A User’s Guide