Ralf Bohnenkamp: Warm Abstraction