deducer

not defined yet