Barbara Liskov at the end of her talk in Audi Max, ETH, 18:31