more introductory stuff about FP