Hi John, there are a couple of typos in the proof:

"To prove that sometimes", the meet is used rather than the join.

The same error in the line above the QED.