Do now! Can you read through the paper on propositions that Simon gave you last lesson?
CAS LX 502 Semantics
CAS LX 502