[REFACTORING] specifications