let
id_of_prop (pk, _npd) = pk