c - (NbAT(B-(No^IR {(B.s ((Nubs c)
t