1.3+Using+Reasoning+to+Find+a+Counterexample