Данные помётов

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