Before revision: However, if a formal system is introduced where modus ponens is simply a rule of inference defined within the system, then it can be abided by simply by reasoning within the system.
After revision: However, if a formal system is introduced whereby modus ponens is simply a rule of inference defined within the system, then it can be abided by simply by reasoning within the system.