This looks through the path, a direction at a time, and considers the relations the direction shares with the other directions in the relevant level. There are different situations to cater for, depending on the structure of that part of the data type, which can locally be considered tree-like, list-like or with commuting directions.