finished negation completely