Now on to a talk from Lilinoe Harbottle about surgical robotics, which seems to be converging on the related theme of 'truth is not found inside computers, but projected in from outside'. "A robot cannot be allowed to check its own homework", she explains. An auditor process that can immediately "transition the system to a safe state" is as isolated as possible.