금요일에서 월요일로 이어지는 다섯 단계의 역방향 제거를 나타냈다.

그림에서 무엇을 볼까요?

생각그림 5 · 금요일에서 월요일로 이어지는 다섯 단계의 역방향 제거를 나타냈다.

금요일과 목요일을 지운 뒤에는 같은 추론으로 수요일, 화요일, 월요일을 차례로 지운다. 유한한 날짜 목록이므로 역방향 제거는 다섯 단계 뒤 끝난다. 학생들의 결론은 “예고 없는 시험이 어느 날에도 있을 수 없다”이다. 여기서 중요한 것은 각 단계가 독립된 계산이 아니라 앞 단계의 제거 결과를 다시 지식으로 사용한다는 점이다. 첫 단계의 전제에 조금이라도 문제가 있거나 지식이 시간에 따라 달라질 수 있다면, 이후 단계 전체가 자동으로 보존되지는 않는다.