added rude-eq-tree and same-length?