Rule of Exportation/Formulation 1/Proof 1