Changed the PQR-predicate to something that I think is correct. Pushed
it through to the Hex requirement.