Title: The Essentials of Logic