t a`bindt`unitt＝＝t a