Описание всего, что мы можем доказать