… actually, on reflection, there is one version of the bailey which I might endorse: because easy-to-verify properties are generally outsourceable, whenever some important property is hard to verify, achieving that hard-to-verify property is the main bottleneck to solving the problem.
I don’t think one actually needs to make that argument in order for the parent comment to go through, but on reflection it is sometimes load-bearing for my models.
… actually, on reflection, there is one version of the bailey which I might endorse: because easy-to-verify properties are generally outsourceable, whenever some important property is hard to verify, achieving that hard-to-verify property is the main bottleneck to solving the problem.
I don’t think one actually needs to make that argument in order for the parent comment to go through, but on reflection it is sometimes load-bearing for my models.