Thinking about Newcomen's problem (when there's too much water at the bottom of your coal mine and you can't get it out)