Final Foundations of Function-Based Thinking