depth
Term
domain
Subst