A → B
A }