add b->a instance for Juxtaposable