davekasten comments on Verification methods for international AI agreements