hog->elephant.

Some other edits to a more formal and terse style.