4 ms·

If RH is independent, then it's true - since any specific counterexample has a concrete algorithm & proof to locate it.