More sketching of ideas in the functional talk