Raemon comments on Richard Ngo’s Shortform

[Raemon]

I may be missing background concepts, but I don’t see how Proposal 5 is really responding to Objection 4.