upper bound for extends. tbind case in wf-tp-dia still tbd