Fixed the null case problem in deduction