Negations

missing neg