Specification written