Stratification is a syntactic criterion, but the existence of a function as a set is a semantic ques...