deducers

@deducers