let
get_project_dgrad p = !(p.dgrad)