John #13: I was just going to comment in the Lecture 3 thread about how "the" meet and "the" join of a subset of a preordered set are only defined up to equivalence, but I thought I would check in this thread first to see if anyone else had caught that! Glad we are switching to the more standard terminology.