Foundations of Function-Based Thinking