2008-10-31 ■ We've started discussing the truth tree method in the logic class. I feel more and more students cannot keep up with the class.