Example 3 of endpoint generation tutorial - finit!