Example 2. Three post-recapitulatory formal functions