RIP, Michael Dertouzos.