* Updated:

The challenger checks the following:
- y * (R - xG) == 0
- y * ( H - xQ) == 0
- H != xQ or R != xG