user: Контекст: Формальная теория доказательств — один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии строго определённого законом набора фактов, а для каждого факта закон полностью определяет его существенность и обстоятельства, при которых факт должен быть признан действительным доказательством. Таким образом, каждое доказательство имеет наперёд установленную формальную силу, в соответствии с которой оно и используется в судопроизводстве. Если в правовой системе признаётся формальная сила доказательств, то функция суда при рассмотрении дела состоит в том, чтобы установить, что факты предмета доказывания подтверждены при помощи установленных законом доказательств. Оценка доказательной силы каждого имеющегося доказательства судом не производится, поскольку она определена в законе и не подлежит изменению в суде.

Используя контекст, ответь одним словом на вопрос: Есть ли формальная сила у доказательств?. Ты обязан ответить "Да" или "Нет".

assistant: Да