Hi, I'm having a contractor come in next week to start developing my basement. During a couple of heavy raining days this past weekend, I noticed a small puddle of water near a corner of the basement. I checked for cracks along the wall and floor and found nothing. Eventually, I did find the source of the leak and the water is coming from a couple of blue, small-diametre hoses in the ceiling. When it is raining outside, water will run along the outside of both of these hoses and then drip onto the basement floor. Both of these hoses emerge from the ceiling through a couple of punctured holes in the ceiling. I don't think there are leaks in the hoses themselves though. I've attached a couple of pictures of the source of the water in the basement. I'd like to fix this before the work on the basement begins. Any idea how this problem can be fixed? Thanks in advance for any help!