When Paolo tried to simplify 5 - 7 at Step 2, instead of keeping the sign of the answer, -2, he added it. He really should have written 3 - 2.
