added lnot