Nikdy nebude existovat algoritmus, který by našel všechny chyby ve smlouvě