Add SPECIFICATION