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