let pred_of_prop (_pk, npd) = npd