Are they actually proving correctness in the auto industry as a matter of course? My understand (could be out of date) was that there were a few partnerships with universities for a small part of the stack.