Moved invariant desc. to paragraph form from list form. Small edits.