trivial refactoring s-rules