deduce add