7.PAFR: Patterns, Algebra, and Functional Reasoning