related the functions to the steps of the proof