move discussion of uniquely determined functions out of truncations earlier