more path orderings