public Function subst(Dictionary<Variable, Term> theta, Function aFunction) { return (Function)aFunction.accept(this, theta); }