The material in these two sessions is an important dimension of functional programming because it demonstrates one of the core claims of FP, Namely, that it is more amenable to reasoning about programs. 