around 4:07 in Video 8a,
we start hearing about "module-complete"
expressions, but around 3:56, we were talking about "module-closed"
expressions. I was able to make sense of the video by assuming that
module-complete and module-closed are the same thing, but I wanted
to double check that I didn't miss something.