A simplified basis for partrec.