Please look to the video of Lecture 2 on formal models and do the practice quizzes and graded quizzez