Redirecting to Non-monotonic logic