David Johnston comments on A Defense of Work on Mathematical AI Safety