Logic and Modeling 2021: Lecture 11 video 1