Last week Bob den Otter unexpectedly passed away. I am extremely sad about this loss, and I want to remember him for the awesome stuff he did.