A⥽(B⥽B)