implementing notation