How to reason logically