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

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

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