"lnot" - key terms from Wikipedia