Redirecting to The Quest for Provably Safe AI Control Systems Hits a Critical Juncture...