Later generations should set up a monument to commemorate those heroes.

后人应该好好修一座碑来纪念修渠的勇士们。