Enabled the double negation intro and elim rules.