Fixed bug in deduce