substantial fixes, now about to remove all redundant edges (resulting in ladders being pruned back entirely)