Comment by Jensson

> It would be very useful to have an oracle tells us whether or not RH is correct.

For what? Which product becomes better if it is correct?