IntroductionToIF.pdf