When converting a modus ponens, if "A" is outside the scope of "H", then it will be necessary to apply axiom 1, "A"→("H"→"A"), and modus ponens to get "H"→"A". Similarly, if "A"→"S" is outside the scope of "H", apply axiom 1, ("A"→"S")→("H"→("A"→"S")), and modus ponens to get "H"→("A"→"S"). It should not be necessary to do both of these, unless the modus ponens step is the conclusion, because if both are outside the scope, then the modus ponens should have been moved up before "H" and thus be outside the scope also.