NLSAT PART A : LECTURE 6 - Lawfren