"Čím více je úkol/úloha ověřitelná, tím více je přístupná automatizaci v novém programovacím paradigmatu."