IF implications