deduzes