Geoffrey Irving comments on Proveably Safe Self Driving Cars [Modulo Assumptions]