widen transformers bound