Bug fixes
new counterexample