24.900-fa22-Class21-Semantics3.pdf