Remove dubious := hpred