Removed negation-introduction - we're not using it.