translate new part about NOT operator, fixes #29