Logic and Modeling 2021: Lecture lean