A → B

A }