Is Deducing