Writing the spec