«Чим більше завдання/робота піддається перевірці, тим більше воно піддається автоматизації в новій парадигмі програмування».