\frac{A,A\Rightarrow B}{B}