HQM Priority proof.