IAFF-User-131 comments on An Idea For Corrigible, Recursively Improving Math Oracles