added some Deducer tools