Short Little Lessons: Logic