Definition:Length of Walk