edits to definitions; add example