proofreading with overview/design/eval/impl, and minor modify with
discussion