Exportation and Material Equivalence

Two rules for formulas that no implication rule can reach, and a derivation that needs one