3.PFA: Patterns, Functions, and Algebra