• substitute - заменяет все вхождения переменной, функции, выражения или числа другой переменной, функцией, выражением или числом.

• assume - делает предположения относительно области определения переменной, например, является ли переменная целым или вещественным числом.

• explicit - очищает предыдущее определение переменной, чтобы можно было использовать ее как свободную переменную.