Tylko systemy, które można udowodnić, przetrwają.