countertraverse
not defined yet