simplify language; add redundant info; add example