Vladimir_Nesov comments on Davidad’s Provably Safe AI Architecture—ARIA’s Programme Thesis