notation is not notion