b->a