The top documents tagged [counterexample solution]