At one point, Waymo initiated arbitration over the issue of poaching employees, but the taking of trade secrets was excluded from that case. Did they subsequently go to arbitration over the latter? And, on the other hand, does the mandatory arbitration clause in Waymo's employment contracts mean that it can not take Levandowski to court over the trade secrets?