diduce
not defined yet