Write some more of the BB84 section.