Logic for Philosophy