Без заголовка

Очепяточтка. Хотел написать: В данном случае, "нет багов" *означает что* есть формальное доказательство их отсутствия.