some more notations