' efl^