Ability to evaluate symbolic and function expression with provided bindings