Polina Goltsman issue 6

"old:
   Terms used in this document are defined inline when used and are also
new:
   Terms in this document are defined inline when used and are also

avoid double "used""

- As suggested.