Nathan Helm-Burger comments on Davidad’s Provably Safe AI Architecture—ARIA’s Programme Thesis