Redirecting to Double negative elimination