January 24, 2023

p. 50

Figure 4.3
change
  L_after(2) = {c}
to
  L_after(3) = {c}