Keyword : deduction%20algorithm