a few more definitions in Neg