FROM LECTURE 1: WELLORDERING PRINCIPLE AND DIVISION