"Hoe meer een taak/werk verifieerbaar is, hoe meer het geschikt is voor automatisering in het nieuwe programmeerparadigma."