Nieformalnie to pyto, eli kożdy problym, co jego rozwiōnzanie może być wartko zweryfikowane ôd kōmputra, może być tyż wartko rozwiōnzane ôd kōmputra; powszechnie uwożo sie, iże ôdpowiydź je niy.