 if that water's getting down there and it's going to push naturally into that basement area. So you want to make sure that you've got those gutter downspouts coming out of the gutters, going to the downspouts, and then going at least 10 feet downhill and away from the foundation of the home on all the corners out there. That will help reduce that humidity inside, and that's an easy DIY project. You can use ABS. You can use PVC. Put it underground. Put it into a dry well. You can put it where it pops up onto the surface of the ground later.