Test traverse1 laws on Nel, Tree theoretically in future.