[HL] incompressibility constraint math done