Add specification and directives