Does the "We use the notation..." statement belong here?  I mean, it's more general notation that applies to how we describe the other classes besides LocalWCS classes, right?