NLSAT PART B LECTURE 1: INTRODUCTION TO PART B - Lawfren