Specification addition