"Semakin banyak tugas/pekerjaan dapat diverifikasi, semakin mudah diterima oleh otomatisasi dalam paradigma pemrograman baru."