Redirecting to Self-verifying theories