1 Foundations for Functions