traversewise
not defined yet