NLSAT PART A : LECTURE 5 - Lawfren