8.6.2.Negation of Statement