Implication over IFS