Refactoring: split specs.