Switched to a more orthogonal representation of introduction and elimination rules for negation