If you wake up in the night and hear a tap running somewhere in the house, what do you do? You get up, of course, and go and turn the tap off. A little later you hear the tap running again. You are alone in the house, and you know you turned the tap off. What do you do then
