IFS implementation