New: dedukcja