write at the top of rend-spec that reading the design paper