edited some of the definitions and notation section