started to rework the notations