Revise the spec to match new terminology
change arbitrary to explicit