Review Bot comments on Limitations on Formal Verification for AI Safety