Working from home

We are having the work done to fix the issue with water getting into the basement so I am working from home. Rather distracting at times due to the sounds of a jackhammer and chunks of concrete being thrown into the dumpster. They found a gaping hole under the foundation leading into the crawl space which is where the problem started. Then it ran against the blocks of the basement walls and came through where the mortar had given way. This, along with a french drain that will run from the back of the house to the front yard, should solve the problem.