Max von Hippel comments on The Scalable Formal Oversight Research Program