WLS: Started on Negation Expressions.