let
get_project_coeff p = !(p.coeff)