undeducted

not defined yet