implemented adding deduction through deduction list