deducement

not defined yet