a sufficiently detailed spec is not code