注：洞涡水一名同戈水，徐沟有同戈驿，亦因此水得名。水发源乐平之陡泉山，由寿阳经徐沟入汾。沿途引以溉田，渠道纵横，每年因争水成讼之案，必有数起。予在太原署中，最所深悉。