A
A→B