ef examples