This was a short lecture after the examlet, which we spent walking through the subset inclusion proof in section 5.10.