Lessons in Logic 30: The Constructive Dilemma Form and the Famous Forms Method