All of these "subspans" are basically the span of the name of whatever is being declared, right?