+2. For the next assignment, read the paper [Coreference and Modality](/coreference-and-modality.pdf). Your task will be to re-express the semantics they offer up to the middle of p. 16, in the terms we're now working with. You'll probably want to review [the lecture notes from this week's meeting](/week9).
+
+ Some advice:
+
+ * You don't need to re-express the epistemic modality part of their semantics, just their treatment of extensional predicate logic. Though extra credit if you want to do the whole thing.
+
+ * You'll want to use "implicitly represented" mutable variables, or a State monad.
+
+ * Here are some [hints](/hints/assignment_7_hint_1).