A sump pump pumps water out of basements