Before revision: Rules of inference The Beta subsystem has the same rules of inference .
After revision: as alphaRules of inference The Beta subsystem has the same rules of inference .