I think we may want to pull the explanation of `declare`s extra options down to the *Discussion*.