Prime example should display counterexample.