StartAtTheEnd comments on Provably Safe AI