Provably Safe Systems Controllable AGI for Humanity - arxiv.org