AbstractThe proof of the Dual State Lemma in Chapter 2.3 of Gilbert and Porter's Knots and Surfaces has some problems with the exposition and a critical typo. This document reworks the proof to make it more correct and comprehensible. (This material starts on page 33.)