File:IFS-necessity-possibility.gif