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