a specification