Выживать будут только доказуемые системы.