A FirstCourse In Modern Logic - 49