Freely implementable specs are important