Rule of Transposition/Variant 1/Formulation 1/Proof 1