Redirecting to Truth maintenance system