proof reading for overview 2
proof reading for design && impl 2
proof reading for eval 2