{A, A\to B}\over{B}