logicalNeg