all works, but need to update sub-tp-trans proof for tbindx.