Redirecting to Resolution (logic)