Aprillion comments on Limitations on Formal Verification for AI Safety