Implemented specifications