Davidmanheim comments on Proveably Safe Self Driving Cars [Modulo Assumptions]