I'm with Miss Marple.
Me too. Isn't it silly to pump out the water from your basement without first shutting off the broken pipe?