Chapter 4: Towards Notions to Functions