Title: Note on the definition of efficient estimators