Implications over IFS