24.900-fa22-Class22-Semantics4.pdf