Def Sat.Literal.negate

Modification history