To make the great canal, first make the smaller one and conduct into
it the waters which by a wheel will help to fill the great one.

Notes on buildings in Milan (1016-1019)