Derivation Rules and Justification. The Simple Rules mA nB oA & Bn, m &I mA & B nAn &E oBn &E mA B nA oBm,n E mA B nB oAm,n E pBm,o E mA nA.
