On the function of marked and unmarked terms