24.900-fa23-Class22-Semantics4.pdf