Even if all clients are truthful and 100% correct, the lack of counter examples would still be essentially meaningless, right?