Bound.Term
substitute
substituteVar
isClosed
closed