diduced
not defined yet