Add a section on the functional principle