Added counterexample and changed style to report.