Logic and Modeling 2021: Lecture 14 video 1