wtf ? if the most rain in 70 years produces 1/4" of water,don't do
anything at all. anyone that puts ANYthing on their basement floor is
a nut, unless they have massive drainage and a sealed newly-poured
basement and a sump, etc, etc.