NLSAT PART A LECTURE 1 - Lawfren