Filled in most of DESIGNDOC.