Logic Made Clear: Basic Concepts and Methods