logical ef