Redirecting to Use-mention distinction