Yoav Hollander comments on The V&V method—A step towards safer AGI