Помёт Forest

Связи с доказательствами и текущая готовность требуют проверки.