Comment by bear8642

> Humans trust. Their systems should too.

And indeed as Thompson showed, you've got to trust at some point...

https://www.cl.cam.ac.uk/teaching/2223/R209/Reflections-Trus...