Definition of "deducest"