Logic and Modeling 2021: Lecture 12

Video 1: changing labeling functions

Video 2: frames and characterizing properties