A→B :