File:IFS-necessity-possibility-with-segments.gif