This is also an exercise in deductive reasoning, which I recently read, somewhere here on Hacker News, is a good skill to exercise.