Отслабване на твърденията на програмата