Don't try to mutate the specification