to deduce