Foundations for Functions 1