minor edits, and add note about using {1,...,n} as elts of Sigma