Modified Implies and IFF arrows