By performing a mental
reverse execution of the program from this point and repeatedly applying
the if-then logic that states ‘‘if this was the state of the program at this
point, then this must have been the state of the program up here,’’ you can
quickly pinpoint the error.