Redefining the spec