"An algorithm is undependable if it can't be proven."