Nodes of term * MTL