counterexample · HackerTrans