Logic and Modeling 2021: Lecture 9 video 1