Logic and Modeling 2021: Lecture 1 video 1