cabs single implementation using TA expression