notation2 added