Logic and Modeling 2021: Lecture 2 video 1