HashPSQ.valid (and fix bug found using valid...)