Tao Lin comments on Proveably Safe Self Driving Cars