A -> B
