deduit
not defined yet