Everyone knows that on a sinking ship, you want to pump water out. But what do …