Thinking logically