negation extension

Мат. углубление отрицания