BatDeduction