[REFACTORING] Specifications