Mr. Nance,
In the answer to Exercise 17a, problem #12, is there a typo? It has row 5 twice.
There is no mistake there. A given line may be used more than once in a proof, as I say at the end of Lesson 15, “Usually, though by no means always, every step in a proof is used and used once.” Line 5 is used twice, once to simplify to get ~L, and once to commute and simplify to get ~M.
Blessings!