fixed a bug in counter-example
removed force second, useless