a. Modeling curves on surfaces as walks in maps
b. Spur and face moves
c. System of loops
d. Contractible in surface = closed in universal cover
e. Dehn's lemma
f. Dehn's algorithm
g. Improvements using a system of quads