let
pred_of_prop (_pk, npd) = npd