>>1642
Контракты, которые могут реализовать любую вычислимую функцию. Если на пальцах - контракты могут выполнить любой алгоритм, который реализуем на ПК.