DEDUCTOR