Counterexamples as Starting Points for Reasoning and Sense Making