deduit

not defined yet