writing the spec