Modified DR proof comments