On page 6 of the Week 9 notes, the definition of common refinement uses "I" as a generalized interval and "I" as a point in P. I changed the latter "I" to a "K" in my notes. So the definition now reads, "P#P' := {K intersect J: K in P and J in P'}."