And (minimal logic) § Introduction Rule § A∧BAB Elimination Rule § \frac{A \wedge B}{A}$$\frac{A \wedge B}{B}