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!**