. . . "If all of the explicit functions are equal to , then .A D-polynomial of depth is a formula defined over a set of terminal ." .