По какому принципу гарантируется корректная функционирование алгоритмов