Vladimir_Nesov comments on Making your explicit reasoning trustworthy

[Vladimir_Nesov]

I don’t have an understanding of that, but don’t think it’s worth pursuing further.