Tying the NOT

Tying the NOT