removed notations